Design of Reconfigurable Logic Controllers by Andrei Karatkevich Arkadiusz Bukowiec Michał Doligalski & Jacek Tkacz

Author:Andrei Karatkevich, Arkadiusz Bukowiec, Michał Doligalski & Jacek Tkacz
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

8 Summary

The rigorous digital design process starts from hierarchical concurrent state machine model (HCSM) , which has been formally derived from modular, colored control interpreted Petri net . The colored tokens , arcs, places and transitions separate hierarchically and concurrently related State Machine components. The rule-based textual logic description of Petri net in VHDL syntax is accepted by professional design tools like Active-HDL (Aldec, USA) and Xlinx ISE. The flexible, readable template for Petri net description is directly recognized by VHDL compiler and simulator as well as by formal reasoning system. The logic specification is one-to-one mapped into Field Programmable Gate Array macrocells. Combinatorial procedures in formal design of logic controller are supported by Gentzen sequent calculus .

The experimental design system can be used as a shell for existing proprietary tools, developed at Zielona Góra, as well with standard professional environment for digital synthesis and verification. It can also support the assertion-based design methodology of application specific logic controllers with checking techniques embedded in configurable hardware. The advantages are structured and modular state space of logic controllers , suitable for model checking . The self-evident VHDL template is suitable for rapid modifications also by hand.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.